3.1.54 \(\int \frac {d+e x+f x^2+g x^3}{(a+b x^2+c x^4)^3} \, dx\) [54]
Optimal. Leaf size=646 \[ \frac {x \left (b^2 d-2 a c d-a b f+c (b d-2 a f) x^2\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}-\frac {b e-2 a g+(2 c e-b g) x^2}{4 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}+\frac {3 (2 c e-b g) \left (b+2 c x^2\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {x \left (3 b^4 d-25 a b^2 c d+28 a^2 c^2 d+a b^3 f+8 a^2 b c f+c \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f\right ) x^2\right )}{8 a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {\sqrt {c} \left (3 b^4 d+b^3 \left (3 \sqrt {b^2-4 a c} d+a f\right )-4 a b c \left (6 \sqrt {b^2-4 a c} d+13 a f\right )-a b^2 \left (30 c d-\sqrt {b^2-4 a c} f\right )+4 a^2 c \left (42 c d+5 \sqrt {b^2-4 a c} f\right )\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{8 \sqrt {2} a^2 \left (b^2-4 a c\right )^{5/2} \sqrt {b-\sqrt {b^2-4 a c}}}+\frac {\sqrt {c} \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f-\frac {3 b^4 d-30 a b^2 c d+168 a^2 c^2 d+a b^3 f-52 a^2 b c f}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{8 \sqrt {2} a^2 \left (b^2-4 a c\right )^2 \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {3 c (2 c e-b g) \tanh ^{-1}\left (\frac {b+2 c x^2}{\sqrt {b^2-4 a c}}\right )}{\left (b^2-4 a c\right )^{5/2}} \]
[Out]
1/4*x*(b^2*d-2*a*c*d-a*b*f+c*(-2*a*f+b*d)*x^2)/a/(-4*a*c+b^2)/(c*x^4+b*x^2+a)^2+1/4*(-b*e+2*a*g-(-b*g+2*c*e)*x
^2)/(-4*a*c+b^2)/(c*x^4+b*x^2+a)^2+3/4*(-b*g+2*c*e)*(2*c*x^2+b)/(-4*a*c+b^2)^2/(c*x^4+b*x^2+a)+1/8*x*(3*b^4*d-
25*a*b^2*c*d+28*a^2*c^2*d+a*b^3*f+8*a^2*b*c*f+c*(20*a^2*c*f+a*b^2*f-24*a*b*c*d+3*b^3*d)*x^2)/a^2/(-4*a*c+b^2)^
2/(c*x^4+b*x^2+a)-3*c*(-b*g+2*c*e)*arctanh((2*c*x^2+b)/(-4*a*c+b^2)^(1/2))/(-4*a*c+b^2)^(5/2)+1/16*arctan(x*2^
(1/2)*c^(1/2)/(b-(-4*a*c+b^2)^(1/2))^(1/2))*c^(1/2)*(3*b^4*d+b^3*(a*f+3*d*(-4*a*c+b^2)^(1/2))-4*a*b*c*(13*a*f+
6*d*(-4*a*c+b^2)^(1/2))-a*b^2*(30*c*d-f*(-4*a*c+b^2)^(1/2))+4*a^2*c*(42*c*d+5*f*(-4*a*c+b^2)^(1/2)))/a^2/(-4*a
*c+b^2)^(5/2)*2^(1/2)/(b-(-4*a*c+b^2)^(1/2))^(1/2)+1/16*arctan(x*2^(1/2)*c^(1/2)/(b+(-4*a*c+b^2)^(1/2))^(1/2))
*c^(1/2)*(3*b^3*d-24*a*b*c*d+a*b^2*f+20*a^2*c*f+(52*a^2*b*c*f-168*a^2*c^2*d-a*b^3*f+30*a*b^2*c*d-3*b^4*d)/(-4*
a*c+b^2)^(1/2))/a^2/(-4*a*c+b^2)^2*2^(1/2)/(b+(-4*a*c+b^2)^(1/2))^(1/2)
________________________________________________________________________________________
Rubi [A]
time = 2.48, antiderivative size = 646, normalized size of antiderivative = 1.00, number of steps
used = 11, number of rules used = 9, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.300, Rules used = {1687, 1192,
1180, 211, 1261, 652, 628, 632, 212} \begin {gather*} \frac {\sqrt {c} \text {ArcTan}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {\sqrt {b^2-4 a c}+b}}\right ) \left (-\frac {-52 a^2 b c f+168 a^2 c^2 d+a b^3 f-30 a b^2 c d+3 b^4 d}{\sqrt {b^2-4 a c}}+20 a^2 c f+a b^2 f-24 a b c d+3 b^3 d\right )}{8 \sqrt {2} a^2 \left (b^2-4 a c\right )^2 \sqrt {\sqrt {b^2-4 a c}+b}}+\frac {\sqrt {c} \text {ArcTan}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right ) \left (4 a^2 c \left (5 f \sqrt {b^2-4 a c}+42 c d\right )-a b^2 \left (30 c d-f \sqrt {b^2-4 a c}\right )-4 a b c \left (6 d \sqrt {b^2-4 a c}+13 a f\right )+b^3 \left (3 d \sqrt {b^2-4 a c}+a f\right )+3 b^4 d\right )}{8 \sqrt {2} a^2 \left (b^2-4 a c\right )^{5/2} \sqrt {b-\sqrt {b^2-4 a c}}}+\frac {x \left (c x^2 \left (20 a^2 c f+a b^2 f-24 a b c d+3 b^3 d\right )+8 a^2 b c f+28 a^2 c^2 d+a b^3 f-25 a b^2 c d+3 b^4 d\right )}{8 a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {x \left (c x^2 (b d-2 a f)-a b f-2 a c d+b^2 d\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}-\frac {3 c (2 c e-b g) \tanh ^{-1}\left (\frac {b+2 c x^2}{\sqrt {b^2-4 a c}}\right )}{\left (b^2-4 a c\right )^{5/2}}+\frac {3 \left (b+2 c x^2\right ) (2 c e-b g)}{4 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}-\frac {-2 a g+x^2 (2 c e-b g)+b e}{4 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[(d + e*x + f*x^2 + g*x^3)/(a + b*x^2 + c*x^4)^3,x]
[Out]
(x*(b^2*d - 2*a*c*d - a*b*f + c*(b*d - 2*a*f)*x^2))/(4*a*(b^2 - 4*a*c)*(a + b*x^2 + c*x^4)^2) - (b*e - 2*a*g +
(2*c*e - b*g)*x^2)/(4*(b^2 - 4*a*c)*(a + b*x^2 + c*x^4)^2) + (3*(2*c*e - b*g)*(b + 2*c*x^2))/(4*(b^2 - 4*a*c)
^2*(a + b*x^2 + c*x^4)) + (x*(3*b^4*d - 25*a*b^2*c*d + 28*a^2*c^2*d + a*b^3*f + 8*a^2*b*c*f + c*(3*b^3*d - 24*
a*b*c*d + a*b^2*f + 20*a^2*c*f)*x^2))/(8*a^2*(b^2 - 4*a*c)^2*(a + b*x^2 + c*x^4)) + (Sqrt[c]*(3*b^4*d + b^3*(3
*Sqrt[b^2 - 4*a*c]*d + a*f) - 4*a*b*c*(6*Sqrt[b^2 - 4*a*c]*d + 13*a*f) - a*b^2*(30*c*d - Sqrt[b^2 - 4*a*c]*f)
+ 4*a^2*c*(42*c*d + 5*Sqrt[b^2 - 4*a*c]*f))*ArcTan[(Sqrt[2]*Sqrt[c]*x)/Sqrt[b - Sqrt[b^2 - 4*a*c]]])/(8*Sqrt[2
]*a^2*(b^2 - 4*a*c)^(5/2)*Sqrt[b - Sqrt[b^2 - 4*a*c]]) + (Sqrt[c]*(3*b^3*d - 24*a*b*c*d + a*b^2*f + 20*a^2*c*f
- (3*b^4*d - 30*a*b^2*c*d + 168*a^2*c^2*d + a*b^3*f - 52*a^2*b*c*f)/Sqrt[b^2 - 4*a*c])*ArcTan[(Sqrt[2]*Sqrt[c
]*x)/Sqrt[b + Sqrt[b^2 - 4*a*c]]])/(8*Sqrt[2]*a^2*(b^2 - 4*a*c)^2*Sqrt[b + Sqrt[b^2 - 4*a*c]]) - (3*c*(2*c*e -
b*g)*ArcTanh[(b + 2*c*x^2)/Sqrt[b^2 - 4*a*c]])/(b^2 - 4*a*c)^(5/2)
Rule 211
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[a/b, 2]/a)*ArcTan[x/Rt[a/b, 2]], x] /; FreeQ[{a, b}, x]
&& PosQ[a/b]
Rule 212
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[-b, 2]))*ArcTanh[Rt[-b, 2]*(x/Rt[a, 2])], x]
/; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])
Rule 628
Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp[(b + 2*c*x)*((a + b*x + c*x^2)^(p + 1)/((p + 1
)*(b^2 - 4*a*c))), x] - Dist[2*c*((2*p + 3)/((p + 1)*(b^2 - 4*a*c))), Int[(a + b*x + c*x^2)^(p + 1), x], x] /;
FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0] && LtQ[p, -1] && NeQ[p, -3/2] && IntegerQ[4*p]
Rule 632
Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> Dist[-2, Subst[Int[1/Simp[b^2 - 4*a*c - x^2, x], x]
, x, b + 2*c*x], x] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]
Rule 652
Int[((d_.) + (e_.)*(x_))*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp[((b*d - 2*a*e + (2*c*d -
b*e)*x)/((p + 1)*(b^2 - 4*a*c)))*(a + b*x + c*x^2)^(p + 1), x] - Dist[(2*p + 3)*((2*c*d - b*e)/((p + 1)*(b^2 -
4*a*c))), Int[(a + b*x + c*x^2)^(p + 1), x], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[2*c*d - b*e, 0] && NeQ[b^
2 - 4*a*c, 0] && LtQ[p, -1] && NeQ[p, -3/2]
Rule 1180
Int[((d_) + (e_.)*(x_)^2)/((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Di
st[e/2 + (2*c*d - b*e)/(2*q), Int[1/(b/2 - q/2 + c*x^2), x], x] + Dist[e/2 - (2*c*d - b*e)/(2*q), Int[1/(b/2 +
q/2 + c*x^2), x], x]] /; FreeQ[{a, b, c, d, e}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - a*e^2, 0] && PosQ[b^
2 - 4*a*c]
Rule 1192
Int[((d_) + (e_.)*(x_)^2)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_), x_Symbol] :> Simp[x*(a*b*e - d*(b^2 - 2*a
*c) - c*(b*d - 2*a*e)*x^2)*((a + b*x^2 + c*x^4)^(p + 1)/(2*a*(p + 1)*(b^2 - 4*a*c))), x] + Dist[1/(2*a*(p + 1)
*(b^2 - 4*a*c)), Int[Simp[(2*p + 3)*d*b^2 - a*b*e - 2*a*c*d*(4*p + 5) + (4*p + 7)*(d*b - 2*a*e)*c*x^2, x]*(a +
b*x^2 + c*x^4)^(p + 1), x], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e
^2, 0] && LtQ[p, -1] && IntegerQ[2*p]
Rule 1261
Int[(x_)*((d_) + (e_.)*(x_)^2)^(q_.)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_.), x_Symbol] :> Dist[1/2, Subst[
Int[(d + e*x)^q*(a + b*x + c*x^2)^p, x], x, x^2], x] /; FreeQ[{a, b, c, d, e, p, q}, x]
Rule 1687
Int[(Pq_)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_), x_Symbol] :> Module[{q = Expon[Pq, x], k}, Int[Sum[Coeff[
Pq, x, 2*k]*x^(2*k), {k, 0, q/2}]*(a + b*x^2 + c*x^4)^p, x] + Int[x*Sum[Coeff[Pq, x, 2*k + 1]*x^(2*k), {k, 0,
(q - 1)/2}]*(a + b*x^2 + c*x^4)^p, x]] /; FreeQ[{a, b, c, p}, x] && PolyQ[Pq, x] && !PolyQ[Pq, x^2]
Rubi steps
\begin {align*} \int \frac {d+e x+f x^2+g x^3}{\left (a+b x^2+c x^4\right )^3} \, dx &=\int \frac {d+f x^2}{\left (a+b x^2+c x^4\right )^3} \, dx+\int \frac {x \left (e+g x^2\right )}{\left (a+b x^2+c x^4\right )^3} \, dx\\ &=\frac {x \left (b^2 d-2 a c d-a b f+c (b d-2 a f) x^2\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}+\frac {1}{2} \text {Subst}\left (\int \frac {e+g x}{\left (a+b x+c x^2\right )^3} \, dx,x,x^2\right )-\frac {\int \frac {-3 b^2 d+14 a c d-a b f-5 c (b d-2 a f) x^2}{\left (a+b x^2+c x^4\right )^2} \, dx}{4 a \left (b^2-4 a c\right )}\\ &=\frac {x \left (b^2 d-2 a c d-a b f+c (b d-2 a f) x^2\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}-\frac {b e-2 a g+(2 c e-b g) x^2}{4 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}+\frac {x \left (3 b^4 d-25 a b^2 c d+28 a^2 c^2 d+a b^3 f+8 a^2 b c f+c \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f\right ) x^2\right )}{8 a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {\int \frac {3 b^4 d-27 a b^2 c d+84 a^2 c^2 d+a b^3 f-16 a^2 b c f+c \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f\right ) x^2}{a+b x^2+c x^4} \, dx}{8 a^2 \left (b^2-4 a c\right )^2}-\frac {(3 (2 c e-b g)) \text {Subst}\left (\int \frac {1}{\left (a+b x+c x^2\right )^2} \, dx,x,x^2\right )}{4 \left (b^2-4 a c\right )}\\ &=\frac {x \left (b^2 d-2 a c d-a b f+c (b d-2 a f) x^2\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}-\frac {b e-2 a g+(2 c e-b g) x^2}{4 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}+\frac {3 (2 c e-b g) \left (b+2 c x^2\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {x \left (3 b^4 d-25 a b^2 c d+28 a^2 c^2 d+a b^3 f+8 a^2 b c f+c \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f\right ) x^2\right )}{8 a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {\left (c \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f-\frac {3 b^4 d-30 a b^2 c d+168 a^2 c^2 d+a b^3 f-52 a^2 b c f}{\sqrt {b^2-4 a c}}\right )\right ) \int \frac {1}{\frac {b}{2}+\frac {1}{2} \sqrt {b^2-4 a c}+c x^2} \, dx}{16 a^2 \left (b^2-4 a c\right )^2}+\frac {\left (c \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f+\frac {3 b^4 d-30 a b^2 c d+168 a^2 c^2 d+a b^3 f-52 a^2 b c f}{\sqrt {b^2-4 a c}}\right )\right ) \int \frac {1}{\frac {b}{2}-\frac {1}{2} \sqrt {b^2-4 a c}+c x^2} \, dx}{16 a^2 \left (b^2-4 a c\right )^2}+\frac {(3 c (2 c e-b g)) \text {Subst}\left (\int \frac {1}{a+b x+c x^2} \, dx,x,x^2\right )}{2 \left (b^2-4 a c\right )^2}\\ &=\frac {x \left (b^2 d-2 a c d-a b f+c (b d-2 a f) x^2\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}-\frac {b e-2 a g+(2 c e-b g) x^2}{4 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}+\frac {3 (2 c e-b g) \left (b+2 c x^2\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {x \left (3 b^4 d-25 a b^2 c d+28 a^2 c^2 d+a b^3 f+8 a^2 b c f+c \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f\right ) x^2\right )}{8 a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {\sqrt {c} \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f+\frac {3 b^4 d-30 a b^2 c d+168 a^2 c^2 d+a b^3 f-52 a^2 b c f}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{8 \sqrt {2} a^2 \left (b^2-4 a c\right )^2 \sqrt {b-\sqrt {b^2-4 a c}}}+\frac {\sqrt {c} \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f-\frac {3 b^4 d-30 a b^2 c d+168 a^2 c^2 d+a b^3 f-52 a^2 b c f}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{8 \sqrt {2} a^2 \left (b^2-4 a c\right )^2 \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {(3 c (2 c e-b g)) \text {Subst}\left (\int \frac {1}{b^2-4 a c-x^2} \, dx,x,b+2 c x^2\right )}{\left (b^2-4 a c\right )^2}\\ &=\frac {x \left (b^2 d-2 a c d-a b f+c (b d-2 a f) x^2\right )}{4 a \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}-\frac {b e-2 a g+(2 c e-b g) x^2}{4 \left (b^2-4 a c\right ) \left (a+b x^2+c x^4\right )^2}+\frac {3 (2 c e-b g) \left (b+2 c x^2\right )}{4 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {x \left (3 b^4 d-25 a b^2 c d+28 a^2 c^2 d+a b^3 f+8 a^2 b c f+c \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f\right ) x^2\right )}{8 a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {\sqrt {c} \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f+\frac {3 b^4 d-30 a b^2 c d+168 a^2 c^2 d+a b^3 f-52 a^2 b c f}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{8 \sqrt {2} a^2 \left (b^2-4 a c\right )^2 \sqrt {b-\sqrt {b^2-4 a c}}}+\frac {\sqrt {c} \left (3 b^3 d-24 a b c d+a b^2 f+20 a^2 c f-\frac {3 b^4 d-30 a b^2 c d+168 a^2 c^2 d+a b^3 f-52 a^2 b c f}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{8 \sqrt {2} a^2 \left (b^2-4 a c\right )^2 \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {3 c (2 c e-b g) \tanh ^{-1}\left (\frac {b+2 c x^2}{\sqrt {b^2-4 a c}}\right )}{\left (b^2-4 a c\right )^{5/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 2.57, size = 661, normalized size = 1.02 \begin {gather*} \frac {1}{16} \left (\frac {-8 a^2 g-4 b d x \left (b+c x^2\right )+8 a c x (d+x (e+f x))+4 a b (e+x (f-g x))}{a \left (-b^2+4 a c\right ) \left (a+b x^2+c x^4\right )^2}+\frac {2 \left (3 b^3 d x \left (b+c x^2\right )+a b x \left (-25 b c d+b^2 f-24 c^2 d x^2+b c f x^2\right )+a^2 \left (-6 b^2 g+4 c^2 x \left (7 d+6 e x+5 f x^2\right )+4 b c \left (3 e+2 f x-3 g x^2\right )\right )\right )}{a^2 \left (b^2-4 a c\right )^2 \left (a+b x^2+c x^4\right )}+\frac {\sqrt {2} \sqrt {c} \left (3 b^4 d+b^3 \left (3 \sqrt {b^2-4 a c} d+a f\right )-4 a b c \left (6 \sqrt {b^2-4 a c} d+13 a f\right )+a b^2 \left (-30 c d+\sqrt {b^2-4 a c} f\right )+4 a^2 c \left (42 c d+5 \sqrt {b^2-4 a c} f\right )\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b-\sqrt {b^2-4 a c}}}\right )}{a^2 \left (b^2-4 a c\right )^{5/2} \sqrt {b-\sqrt {b^2-4 a c}}}+\frac {\sqrt {2} \sqrt {c} \left (-3 b^4 d+b^3 \left (3 \sqrt {b^2-4 a c} d-a f\right )+4 a b c \left (-6 \sqrt {b^2-4 a c} d+13 a f\right )+a b^2 \left (30 c d+\sqrt {b^2-4 a c} f\right )+4 a^2 c \left (-42 c d+5 \sqrt {b^2-4 a c} f\right )\right ) \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {c} x}{\sqrt {b+\sqrt {b^2-4 a c}}}\right )}{a^2 \left (b^2-4 a c\right )^{5/2} \sqrt {b+\sqrt {b^2-4 a c}}}-\frac {24 c (-2 c e+b g) \log \left (-b+\sqrt {b^2-4 a c}-2 c x^2\right )}{\left (b^2-4 a c\right )^{5/2}}+\frac {24 c (-2 c e+b g) \log \left (b+\sqrt {b^2-4 a c}+2 c x^2\right )}{\left (b^2-4 a c\right )^{5/2}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[(d + e*x + f*x^2 + g*x^3)/(a + b*x^2 + c*x^4)^3,x]
[Out]
((-8*a^2*g - 4*b*d*x*(b + c*x^2) + 8*a*c*x*(d + x*(e + f*x)) + 4*a*b*(e + x*(f - g*x)))/(a*(-b^2 + 4*a*c)*(a +
b*x^2 + c*x^4)^2) + (2*(3*b^3*d*x*(b + c*x^2) + a*b*x*(-25*b*c*d + b^2*f - 24*c^2*d*x^2 + b*c*f*x^2) + a^2*(-
6*b^2*g + 4*c^2*x*(7*d + 6*e*x + 5*f*x^2) + 4*b*c*(3*e + 2*f*x - 3*g*x^2))))/(a^2*(b^2 - 4*a*c)^2*(a + b*x^2 +
c*x^4)) + (Sqrt[2]*Sqrt[c]*(3*b^4*d + b^3*(3*Sqrt[b^2 - 4*a*c]*d + a*f) - 4*a*b*c*(6*Sqrt[b^2 - 4*a*c]*d + 13
*a*f) + a*b^2*(-30*c*d + Sqrt[b^2 - 4*a*c]*f) + 4*a^2*c*(42*c*d + 5*Sqrt[b^2 - 4*a*c]*f))*ArcTan[(Sqrt[2]*Sqrt
[c]*x)/Sqrt[b - Sqrt[b^2 - 4*a*c]]])/(a^2*(b^2 - 4*a*c)^(5/2)*Sqrt[b - Sqrt[b^2 - 4*a*c]]) + (Sqrt[2]*Sqrt[c]*
(-3*b^4*d + b^3*(3*Sqrt[b^2 - 4*a*c]*d - a*f) + 4*a*b*c*(-6*Sqrt[b^2 - 4*a*c]*d + 13*a*f) + a*b^2*(30*c*d + Sq
rt[b^2 - 4*a*c]*f) + 4*a^2*c*(-42*c*d + 5*Sqrt[b^2 - 4*a*c]*f))*ArcTan[(Sqrt[2]*Sqrt[c]*x)/Sqrt[b + Sqrt[b^2 -
4*a*c]]])/(a^2*(b^2 - 4*a*c)^(5/2)*Sqrt[b + Sqrt[b^2 - 4*a*c]]) - (24*c*(-2*c*e + b*g)*Log[-b + Sqrt[b^2 - 4*
a*c] - 2*c*x^2])/(b^2 - 4*a*c)^(5/2) + (24*c*(-2*c*e + b*g)*Log[b + Sqrt[b^2 - 4*a*c] + 2*c*x^2])/(b^2 - 4*a*c
)^(5/2))/16
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1637\) vs.
\(2(588)=1176\).
time = 0.32, size = 1638, normalized size = 2.54
| | |
method |
result |
size |
| | |
risch |
\(\frac {\frac {c^{2} \left (20 a^{2} c f +a \,b^{2} f -24 a b c d +3 b^{3} d \right ) x^{7}}{8 a^{2} \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}-\frac {3 \left (b g -2 c e \right ) c^{2} x^{6}}{2 \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}+\frac {c \left (28 a^{2} b c f +28 a^{2} c^{2} d +2 a \,b^{3} f -49 a \,b^{2} c d +6 b^{4} d \right ) x^{5}}{8 a^{2} \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}-\frac {9 b \left (b g -2 c e \right ) c \,x^{4}}{4 \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}+\frac {\left (36 a^{3} c^{2} f +5 a^{2} b^{2} c f -4 a^{2} b \,c^{2} d +a \,b^{4} f -20 a \,b^{3} c d +3 b^{5} d \right ) x^{3}}{8 a^{2} \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}-\frac {\left (5 a c +b^{2}\right ) \left (b g -2 c e \right ) x^{2}}{2 \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}+\frac {\left (16 a^{2} b c f +44 a^{2} c^{2} d -a \,b^{3} f -37 a \,b^{2} c d +5 b^{4} d \right ) x}{8 \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right ) a}-\frac {8 a^{2} c g +a \,b^{2} g -10 a b c e +b^{3} e}{4 \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}}{\left (c \,x^{4}+b \,x^{2}+a \right )^{2}}+\frac {\left (\munderset {\textit {\_R} =\RootOf \left (c \,\textit {\_Z}^{4}+\textit {\_Z}^{2} b +a \right )}{\sum }\frac {\left (\frac {c \left (20 a^{2} c f +a \,b^{2} f -24 a b c d +3 b^{3} d \right ) \textit {\_R}^{2}}{a^{2} \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}-\frac {24 \left (b g -2 c e \right ) c \textit {\_R}}{16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}}-\frac {16 a^{2} b c f -84 a^{2} c^{2} d -a \,b^{3} f +27 a \,b^{2} c d -3 b^{4} d}{a^{2} \left (16 a^{2} c^{2}-8 a \,b^{2} c +b^{4}\right )}\right ) \ln \left (x -\textit {\_R} \right )}{2 c \,\textit {\_R}^{3}+\textit {\_R} b}\right )}{16}\) |
\(644\) |
default |
\(\text {Expression too large to display}\) |
\(1638\) |
| | |
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((g*x^3+f*x^2+e*x+d)/(c*x^4+b*x^2+a)^3,x,method=_RETURNVERBOSE)
[Out]
64*c^3*(-1/32/c/(16*a^2*c^2-8*a*b^2*c+b^4)/(4*a*c-b^2)*((-1/64*(720*(-4*a*c+b^2)^(1/2)*a^2*c^2*d-312*(-4*a*c+b
^2)^(1/2)*a*b^2*c*d+33*(-4*a*c+b^2)^(1/2)*b^4*d+800*a^3*c^2*f-112*a^2*b^2*c*f-1104*a^2*b*c^2*d-22*a*b^4*f+408*
a*b^3*c*d-33*b^5*d)*(-b*(-4*a*c+b^2)^(1/2)+20*a*c+b^2)/a^2/c^2/(100*a*c+11*b^2)*x^3-1/8/c^2*(-4*(-4*a*c+b^2)^(
1/2)*a*c*g+(-4*a*c+b^2)^(1/2)*b^2*g-12*a*b*g*c+24*a*c^2*e+3*b^3*g-6*b^2*c*e)*x^2-1/32*(1232*(-4*a*c+b^2)^(1/2)
*a^2*c^2*d-568*(-4*a*c+b^2)^(1/2)*a*b^2*c*d+65*(-4*a*c+b^2)^(1/2)*b^4*d+1568*a^3*c^2*f-496*a^2*b^2*c*f-1616*a^
2*b*c^2*d+26*a*b^4*f+664*a*b^3*c*d-65*b^5*d)*(7*(-4*a*c+b^2)^(1/2)+6*b)/c^2/(196*a*c-13*b^2)/a*x-1/16*(-128*(-
4*a*c+b^2)^(1/2)*a^2*c^2*g+52*(-4*a*c+b^2)^(1/2)*a*b^2*c*g-5*(-4*a*c+b^2)^(1/2)*b^4*g-224*a^2*c^2*b*g+512*a^2*
c^3*e+76*a*b^3*c*g-184*a*b^2*c^2*e-5*b^5*g+14*b^4*c*e)*(4*(-4*a*c+b^2)^(1/2)+3*b)/(64*a*c-7*b^2)/c^3)/(x^2+1/2
/c*(-4*a*c+b^2)^(1/2)+1/2*b/c)^2+1/16/a^2/c*(1/4*(48*(-4*a*c+b^2)^(1/2)*a^2*b*c*g-96*(-4*a*c+b^2)^(1/2)*a^2*c^
2*e)/c*ln(b+2*c*x^2+(-4*a*c+b^2)^(1/2))+1/2*(52*(-4*a*c+b^2)^(1/2)*a^2*b*c*f-168*(-4*a*c+b^2)^(1/2)*a^2*c^2*d-
(-4*a*c+b^2)^(1/2)*a*b^3*f+30*(-4*a*c+b^2)^(1/2)*a*b^2*c*d-3*(-4*a*c+b^2)^(1/2)*b^4*d-80*a^3*c^2*f+16*a^2*b^2*
c*f+96*a^2*b*c^2*d+a*b^4*f-36*a*b^3*c*d+3*b^5*d)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctan(c*x*2^(1/2)/(
(b+(-4*a*c+b^2)^(1/2))*c)^(1/2))))-1/32/c/(16*a^2*c^2-8*a*b^2*c+b^4)/(4*a*c-b^2)*((-1/64*(-720*(-4*a*c+b^2)^(1
/2)*a^2*c^2*d+312*(-4*a*c+b^2)^(1/2)*a*b^2*c*d-33*(-4*a*c+b^2)^(1/2)*b^4*d+800*a^3*c^2*f-112*a^2*b^2*c*f-1104*
a^2*b*c^2*d-22*a*b^4*f+408*a*b^3*c*d-33*b^5*d)*(b*(-4*a*c+b^2)^(1/2)+20*a*c+b^2)/a^2/c^2/(100*a*c+11*b^2)*x^3-
1/8/c^2*(4*(-4*a*c+b^2)^(1/2)*a*c*g-(-4*a*c+b^2)^(1/2)*b^2*g-12*a*b*g*c+24*a*c^2*e+3*b^3*g-6*b^2*c*e)*x^2-1/32
*(-1232*(-4*a*c+b^2)^(1/2)*a^2*c^2*d+568*(-4*a*c+b^2)^(1/2)*a*b^2*c*d-65*(-4*a*c+b^2)^(1/2)*b^4*d+1568*a^3*c^2
*f-496*a^2*b^2*c*f-1616*a^2*b*c^2*d+26*a*b^4*f+664*a*b^3*c*d-65*b^5*d)*(-7*(-4*a*c+b^2)^(1/2)+6*b)/c^2/(196*a*
c-13*b^2)/a*x-1/16*(128*(-4*a*c+b^2)^(1/2)*a^2*c^2*g-52*(-4*a*c+b^2)^(1/2)*a*b^2*c*g+5*(-4*a*c+b^2)^(1/2)*b^4*
g-224*a^2*c^2*b*g+512*a^2*c^3*e+76*a*b^3*c*g-184*a*b^2*c^2*e-5*b^5*g+14*b^4*c*e)*(-4*(-4*a*c+b^2)^(1/2)+3*b)/(
64*a*c-7*b^2)/c^3)/(x^2+1/2*b/c-1/2/c*(-4*a*c+b^2)^(1/2))^2+1/16/a^2/c*(-1/4*(48*(-4*a*c+b^2)^(1/2)*a^2*b*c*g-
96*(-4*a*c+b^2)^(1/2)*a^2*c^2*e)/c*ln(-b-2*c*x^2+(-4*a*c+b^2)^(1/2))+1/2*(52*(-4*a*c+b^2)^(1/2)*a^2*b*c*f-168*
(-4*a*c+b^2)^(1/2)*a^2*c^2*d-(-4*a*c+b^2)^(1/2)*a*b^3*f+30*(-4*a*c+b^2)^(1/2)*a*b^2*c*d-3*(-4*a*c+b^2)^(1/2)*b
^4*d+80*a^3*c^2*f-16*a^2*b^2*c*f-96*a^2*b*c^2*d-a*b^4*f+36*a*b^3*c*d-3*b^5*d)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))
*c)^(1/2)*arctanh(c*x*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2)))))
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((g*x^3+f*x^2+e*x+d)/(c*x^4+b*x^2+a)^3,x, algorithm="maxima")
[Out]
1/8*((3*(b^3*c^2 - 8*a*b*c^3)*d + (a*b^2*c^2 + 20*a^2*c^3)*f)*x^7 - 12*(a^2*b*c^2*g - 2*a^2*c^3*e)*x^6 + ((6*b
^4*c - 49*a*b^2*c^2 + 28*a^2*c^3)*d + 2*(a*b^3*c + 14*a^2*b*c^2)*f)*x^5 - 2*a^2*b^3*e + 20*a^3*b*c*e - 18*(a^2
*b^2*c*g - 2*a^2*b*c^2*e)*x^4 + ((3*b^5 - 20*a*b^3*c - 4*a^2*b*c^2)*d + (a*b^4 + 5*a^2*b^2*c + 36*a^3*c^2)*f)*
x^3 + 4*(2*a^2*b^2*c*e + 10*a^3*c^2*e - (a^2*b^3 + 5*a^3*b*c)*g)*x^2 - 2*(a^3*b^2 + 8*a^4*c)*g + ((5*a*b^4 - 3
7*a^2*b^2*c + 44*a^3*c^2)*d - (a^2*b^3 - 16*a^3*b*c)*f)*x)/((a^2*b^4*c^2 - 8*a^3*b^2*c^3 + 16*a^4*c^4)*x^8 + a
^4*b^4 - 8*a^5*b^2*c + 16*a^6*c^2 + 2*(a^2*b^5*c - 8*a^3*b^3*c^2 + 16*a^4*b*c^3)*x^6 + (a^2*b^6 - 6*a^3*b^4*c
+ 32*a^5*c^3)*x^4 + 2*(a^3*b^5 - 8*a^4*b^3*c + 16*a^5*b*c^2)*x^2) + 1/8*integrate(((3*(b^3*c - 8*a*b*c^2)*d +
(a*b^2*c + 20*a^2*c^2)*f)*x^2 + 3*(b^4 - 9*a*b^2*c + 28*a^2*c^2)*d + (a*b^3 - 16*a^2*b*c)*f - 24*(a^2*b*c*g -
2*a^2*c^2*e)*x)/(c*x^4 + b*x^2 + a), x)/(a^2*b^4 - 8*a^3*b^2*c + 16*a^4*c^2)
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((g*x^3+f*x^2+e*x+d)/(c*x^4+b*x^2+a)^3,x, algorithm="fricas")
[Out]
Timed out
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((g*x**3+f*x**2+e*x+d)/(c*x**4+b*x**2+a)**3,x)
[Out]
Timed out
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 5439 vs.
\(2 (588) = 1176\).
time = 9.38, size = 5439, normalized size = 8.42 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((g*x^3+f*x^2+e*x+d)/(c*x^4+b*x^2+a)^3,x, algorithm="giac")
[Out]
1/32*(3*(sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*b^8 - 17*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^6*c - 2*
sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*b^7*c - 2*b^8*c + 116*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^4*
c^2 + 26*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^5*c^2 + sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*b^6*c^2 +
34*a*b^6*c^2 + 2*b^7*c^2 - 368*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^3*b^2*c^3 - 128*sqrt(2)*sqrt(b*c + s
qrt(b^2 - 4*a*c)*c)*a^2*b^3*c^3 - 13*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^4*c^3 - 232*a^2*b^4*c^3 - 30*
a*b^5*c^3 + 448*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^4*c^4 + 224*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*
a^3*b*c^4 + 64*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^2*c^4 + 736*a^3*b^2*c^4 + 176*a^2*b^3*c^4 - 112*s
qrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^3*c^5 - 896*a^4*c^5 - 352*a^3*b*c^5 - sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(
b*c + sqrt(b^2 - 4*a*c)*c)*b^7 + 15*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^5*c + 2*sqrt
(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*b^6*c - 88*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2
- 4*a*c)*c)*a^2*b^3*c^2 - 22*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^4*c^2 - sqrt(2)*sq
rt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*b^5*c^2 + 176*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 -
4*a*c)*c)*a^3*b*c^3 + 88*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^2*c^3 + 11*sqrt(2)*sq
rt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^3*c^3 - 44*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 -
4*a*c)*c)*a^2*b*c^4 + 2*(b^2 - 4*a*c)*b^6*c - 26*(b^2 - 4*a*c)*a*b^4*c^2 - 2*(b^2 - 4*a*c)*b^5*c^2 + 128*(b^2
- 4*a*c)*a^2*b^2*c^3 + 22*(b^2 - 4*a*c)*a*b^3*c^3 - 224*(b^2 - 4*a*c)*a^3*c^4 - 88*(b^2 - 4*a*c)*a^2*b*c^4)*d
+ (sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^7 - 24*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^5*c - 2*s
qrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^6*c - 2*a*b^7*c + 144*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^3*b
^3*c^2 + 40*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^4*c^2 + sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^
5*c^2 + 48*a^2*b^5*c^2 + 2*a*b^6*c^2 - 256*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^4*b*c^3 - 128*sqrt(2)*sqr
t(b*c + sqrt(b^2 - 4*a*c)*c)*a^3*b^2*c^3 - 20*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^3*c^3 - 288*a^3*b^
3*c^3 - 44*a^2*b^4*c^3 + 64*sqrt(2)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^3*b*c^4 + 512*a^4*b*c^4 + 64*a^3*b^2*c^4
+ 320*a^4*c^5 - sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^6 + 22*sqrt(2)*sqrt(b^2 - 4*a*c
)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^4*c + 2*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^
5*c - 32*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^3*b^2*c^2 - 36*sqrt(2)*sqrt(b^2 - 4*a*c)*
sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^3*c^2 - sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a*b^4*
c^2 - 160*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^4*c^3 - 80*sqrt(2)*sqrt(b^2 - 4*a*c)*sqr
t(b*c + sqrt(b^2 - 4*a*c)*c)*a^3*b*c^3 + 18*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^2*b^2*
c^3 + 40*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c + sqrt(b^2 - 4*a*c)*c)*a^3*c^4 + 2*(b^2 - 4*a*c)*a*b^5*c - 40*(b^2
- 4*a*c)*a^2*b^3*c^2 - 2*(b^2 - 4*a*c)*a*b^4*c^2 + 128*(b^2 - 4*a*c)*a^3*b*c^3 + 36*(b^2 - 4*a*c)*a^2*b^2*c^3
+ 80*(b^2 - 4*a*c)*a^3*c^4)*f)*arctan(2*sqrt(1/2)*x/sqrt((a^2*b^5 - 8*a^3*b^3*c + 16*a^4*b*c^2 + sqrt((a^2*b^
5 - 8*a^3*b^3*c + 16*a^4*b*c^2)^2 - 4*(a^3*b^4 - 8*a^4*b^2*c + 16*a^5*c^2)*(a^2*b^4*c - 8*a^3*b^2*c^2 + 16*a^4
*c^3)))/(a^2*b^4*c - 8*a^3*b^2*c^2 + 16*a^4*c^3)))/((a^3*b^8 - 16*a^4*b^6*c - 2*a^3*b^7*c + 96*a^5*b^4*c^2 + 2
4*a^4*b^5*c^2 + a^3*b^6*c^2 - 256*a^6*b^2*c^3 - 96*a^5*b^3*c^3 - 12*a^4*b^4*c^3 + 256*a^7*c^4 + 128*a^6*b*c^4
+ 48*a^5*b^2*c^4 - 64*a^6*c^5)*abs(c)) + 1/32*(3*(sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*b^8 - 17*sqrt(2)*sqr
t(b*c - sqrt(b^2 - 4*a*c)*c)*a*b^6*c - 2*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*b^7*c + 2*b^8*c + 116*sqrt(2)
*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*a^2*b^4*c^2 + 26*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*a*b^5*c^2 + sqrt(2)*
sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*b^6*c^2 - 34*a*b^6*c^2 - 2*b^7*c^2 - 368*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*
c)*a^3*b^2*c^3 - 128*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*a^2*b^3*c^3 - 13*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*
a*c)*c)*a*b^4*c^3 + 232*a^2*b^4*c^3 + 30*a*b^5*c^3 + 448*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*a^4*c^4 + 224
*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*a^3*b*c^4 + 64*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*a^2*b^2*c^4 -
736*a^3*b^2*c^4 - 176*a^2*b^3*c^4 - 112*sqrt(2)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*a^3*c^5 + 896*a^4*c^5 + 352*a^
3*b*c^5 + sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*b^7 - 15*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*
c - sqrt(b^2 - 4*a*c)*c)*a*b^5*c - 2*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*b^6*c + 88*sqrt
(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c - sqrt(b^2 - 4*a*c)*c)*a^2*b^3*c^2 + 22*sqrt(2)*sqrt(b^2 - 4*a*c)*sqrt(b*c - sq
rt(b^2 - 4*a*c)*c)*a*b^4*c^2 + sqrt(2)*sqrt(b^2...
________________________________________________________________________________________
Mupad [B]
time = 4.56, size = 2500, normalized size = 3.87 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((d + e*x + f*x^2 + g*x^3)/(a + b*x^2 + c*x^4)^3,x)
[Out]
symsum(log((x*(13824*a^4*c^8*e^3 - 54*b^7*c^5*d^2*e + 27*b^8*c^4*d^2*g - 1728*a^4*b^3*c^5*g^3 - 20160*a^4*c^8*
d*e*f + 972*a*b^5*c^6*d^2*e + 24192*a^3*b*c^8*d^2*e - 486*a*b^6*c^5*d^2*g + 6240*a^4*b*c^7*e*f^2 - 20736*a^4*b
*c^7*e^2*g - 7344*a^2*b^3*c^7*d^2*e + 3672*a^2*b^4*c^6*d^2*g - 6*a^2*b^5*c^5*e*f^2 - 12096*a^3*b^2*c^7*d^2*g +
192*a^3*b^3*c^6*e*f^2 + 10368*a^4*b^2*c^6*e*g^2 + 3*a^2*b^6*c^4*f^2*g - 96*a^3*b^4*c^5*f^2*g - 3120*a^4*b^2*c
^6*f^2*g - 36*a*b^6*c^5*d*e*f + 18*a*b^7*c^4*d*f*g + 10080*a^4*b*c^7*d*f*g + 900*a^2*b^4*c^6*d*e*f - 4896*a^3*
b^2*c^7*d*e*f - 450*a^2*b^5*c^5*d*f*g + 2448*a^3*b^3*c^6*d*f*g))/(64*(a^4*b^12 + 4096*a^10*c^6 - 24*a^5*b^10*c
+ 240*a^6*b^8*c^2 - 1280*a^7*b^6*c^3 + 3840*a^8*b^4*c^4 - 6144*a^9*b^2*c^5)) - root(56371445760*a^11*b^8*c^6*
z^4 - 503316480*a^8*b^14*c^3*z^4 + 47185920*a^7*b^16*c^2*z^4 - 171798691840*a^14*b^2*c^9*z^4 + 193273528320*a^
13*b^4*c^8*z^4 - 128849018880*a^12*b^6*c^7*z^4 - 16911433728*a^10*b^10*c^5*z^4 + 3523215360*a^9*b^12*c^4*z^4 -
2621440*a^6*b^18*c*z^4 + 68719476736*a^15*c^10*z^4 + 65536*a^5*b^20*z^4 - 73728*a^2*b^16*c*d*f*z^2 + 15099494
40*a^9*b^3*c^7*e*g*z^2 - 1321205760*a^9*b^2*c^8*d*f*z^2 - 754974720*a^8*b^5*c^6*e*g*z^2 + 732168192*a^7*b^6*c^
6*d*f*z^2 - 366280704*a^6*b^8*c^5*d*f*z^2 - 330301440*a^8*b^4*c^7*d*f*z^2 + 188743680*a^7*b^7*c^5*e*g*z^2 + 96
583680*a^5*b^10*c^4*d*f*z^2 - 23592960*a^6*b^9*c^4*e*g*z^2 + 1179648*a^5*b^11*c^3*e*g*z^2 - 15175680*a^4*b^12*
c^3*d*f*z^2 + 1428480*a^3*b^14*c^2*d*f*z^2 - 1207959552*a^10*b*c^8*e*g*z^2 - 440401920*a^10*b*c^8*f^2*z^2 + 17
61607680*a^10*c^9*d*f*z^2 - 14080*a^3*b^15*c*f^2*z^2 + 6936330240*a^8*b^3*c^8*d^2*z^2 + 2464874496*a^6*b^7*c^6
*d^2*z^2 - 3963617280*a^9*b*c^9*d^2*z^2 - 1509949440*a^9*b^2*c^8*e^2*z^2 - 5400428544*a^7*b^5*c^7*d^2*z^2 - 94
464*a*b^17*c*d^2*z^2 + 754974720*a^8*b^4*c^7*e^2*z^2 - 730054656*a^5*b^9*c^5*d^2*z^2 + 477102080*a^9*b^3*c^7*f
^2*z^2 - 377487360*a^9*b^4*c^6*g^2*z^2 + 301989888*a^10*b^2*c^7*g^2*z^2 + 188743680*a^8*b^6*c^5*g^2*z^2 - 1743
25760*a^8*b^5*c^6*f^2*z^2 - 188743680*a^7*b^6*c^6*e^2*z^2 + 146165760*a^4*b^11*c^4*d^2*z^2 - 47185920*a^7*b^8*
c^4*g^2*z^2 + 5898240*a^6*b^10*c^3*g^2*z^2 - 294912*a^5*b^12*c^2*g^2*z^2 + 11206656*a^7*b^7*c^5*f^2*z^2 + 8929
280*a^6*b^9*c^4*f^2*z^2 + 23592960*a^6*b^8*c^5*e^2*z^2 - 2600960*a^5*b^11*c^3*f^2*z^2 + 291840*a^4*b^13*c^2*f^
2*z^2 - 19860480*a^3*b^13*c^3*d^2*z^2 - 1179648*a^5*b^10*c^4*e^2*z^2 + 1771776*a^2*b^15*c^2*d^2*z^2 + 1536*a*b
^18*d*f*z^2 + 1207959552*a^10*c^9*e^2*z^2 + 256*a^2*b^17*f^2*z^2 + 2304*b^19*d^2*z^2 + 169869312*a^7*b*c^8*d*e
*f*z + 9216*a*b^13*c^2*d*e*f*z - 4608*a*b^14*c*d*f*g*z - 221773824*a^6*b^3*c^7*d*e*f*z + 110886912*a^6*b^4*c^6
*d*f*g*z - 84934656*a^7*b^2*c^7*d*f*g*z + 117964800*a^5*b^5*c^6*d*e*f*z - 58982400*a^5*b^6*c^5*d*f*g*z + 16220
160*a^4*b^8*c^4*d*f*g*z - 2396160*a^3*b^10*c^3*d*f*g*z + 175104*a^2*b^12*c^2*d*f*g*z - 32440320*a^4*b^7*c^5*d*
e*f*z + 4792320*a^3*b^9*c^4*d*e*f*z - 350208*a^2*b^11*c^3*d*e*f*z + 346816512*a^7*b*c^8*d^2*g*z - 19660800*a^8
*b*c^7*f^2*g*z - 768*a^2*b^13*c*f^2*g*z + 214272*a*b^13*c^2*d^2*g*z - 428544*a*b^12*c^3*d^2*e*z + 1022754816*a
^6*b^2*c^8*d^2*e*z - 642318336*a^5*b^4*c^7*d^2*e*z - 511377408*a^6*b^3*c^7*d^2*g*z + 321159168*a^5*b^5*c^6*d^2
*g*z + 223395840*a^4*b^6*c^6*d^2*e*z - 111697920*a^4*b^7*c^5*d^2*g*z + 25362432*a^7*b^3*c^6*f^2*g*z - 50724864
*a^7*b^2*c^7*e*f^2*z - 13271040*a^6*b^5*c^5*f^2*g*z + 3563520*a^5*b^7*c^4*f^2*g*z - 506880*a^4*b^9*c^3*f^2*g*z
+ 34560*a^3*b^11*c^2*f^2*g*z + 26542080*a^6*b^4*c^6*e*f^2*z + 23362560*a^3*b^9*c^4*d^2*g*z - 46725120*a^3*b^8
*c^5*d^2*e*z - 7127040*a^5*b^6*c^5*e*f^2*z - 2965248*a^2*b^11*c^3*d^2*g*z + 1013760*a^4*b^8*c^4*e*f^2*z - 6912
0*a^3*b^10*c^3*e*f^2*z + 1536*a^2*b^12*c^2*e*f^2*z + 5930496*a^2*b^10*c^4*d^2*e*z - 693633024*a^7*c^9*d^2*e*z
+ 39321600*a^8*c^8*e*f^2*z + 13824*b^14*c^2*d^2*e*z - 6912*b^15*c*d^2*g*z + 15482880*a^5*b*c^7*d*e*f*g - 13824
*a*b^9*c^3*d*e*f*g + 7741440*a^4*b^3*c^6*d*e*f*g - 2903040*a^3*b^5*c^5*d*e*f*g + 387072*a^2*b^7*c^4*d*e*f*g +
3456*a*b^10*c^2*d*f*g^2 + 435456*a*b^8*c^4*d^2*e*g + 13824*a*b^8*c^4*d*e^2*f - 3870720*a^5*b^2*c^6*e*f^2*g - 3
4836480*a^4*b^2*c^7*d^2*e*g - 645120*a^4*b^4*c^5*e*f^2*g + 80640*a^3*b^6*c^4*e*f^2*g - 2304*a^2*b^8*c^3*e*f^2*
g - 3870720*a^5*b^2*c^6*d*f*g^2 - 1935360*a^4*b^4*c^5*d*f*g^2 + 725760*a^3*b^6*c^4*d*f*g^2 + 17418240*a^3*b^4*
c^6*d^2*e*g - 96768*a^2*b^8*c^3*d*f*g^2 - 3919104*a^2*b^6*c^5*d^2*e*g - 7741440*a^4*b^2*c^7*d*e^2*f + 2903040*
a^3*b^4*c^6*d*e^2*f - 387072*a^2*b^6*c^5*d*e^2*f + 37310976*a^3*b^3*c^7*d^3*f - 2654208*a^5*b^3*c^5*e*g^3 + 38
70720*a^5*b*c^7*e^2*f^2 + 34836480*a^4*b*c^8*d^2*e^2 - 108864*a*b^9*c^3*d^2*g^2 - 8068032*a^2*b^5*c^6*d^3*f -
5623296*a^4*b^3*c^6*d*f^3 + 1737792*a^3*b^5*c^5*d*f^3 - 260190*a*b^8*c^4*d^2*f^2 - 211680*a^2*b^7*c^4*d*f^3 -
435456*a*b^7*c^5*d^2*e^2 - 20736*b^10*c^3*d^2*e*g - 75188736*a^4*b*c^8*d^3*f - 15482880*a^5*c^8*d*e^2*f - 1061
6832*a^5*b*c^7*e^3*g - 4262400*a^5*b*c^7*d*f^3 + 852768*a*b^7*c^5*d^3*f + 7350*a*b^9*c^3*d*f^3 + 967680*a^5*b^
3*c^5*f^2*g^2 + 161280*a^4*b^5*c^4*f^2*g^2 - 20...
________________________________________________________________________________________